Data for paper "Zone extrapolations in parametric timed automata" This data set comes with two zip files: artifact.zip contains the current version of IMITATOR, all models and necessary scripts to reproduce all experiments on our benchmarks set. A file named README.md gives all instructions for reproducibility. results.zip contains an HTML page with a table summarizing all results, and all raw results (.res) as well
Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...
Invited contribution at FORMATS'22International audienceTimed automata have been introduced by Rajee...
# Data and Scripts for "Machine learning the electronic structure of matter across temperatures" Th...
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"...
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experimen...
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric ti...
Timed automata (TAs) are an efficient formalism to model and verify systems with hard timing constra...
Data for "Exemplifying parametric timed specifications over signals with bounded behavior" See READ...
We present here IMITATOR II, a new version of IMITATOR, a tool implementing the “inverse method” for...
We present here Imitator II, a new version of Imitator, a tool implementing the "inverse method" for...
This is the author (and extended) version of the manuscript of the same name published in the procee...
Contains fulltext : 176091.pdf (preprint version ) (Open Access
This is the artifact for the paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" ...
Contains fulltext : 29872.pdf (publisher's version ) (Open Access)RU, 11 december ...
this paper appeared in ICALP'99: Proceedings of the 26th International Colloquium on Automata, ...
Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...
Invited contribution at FORMATS'22International audienceTimed automata have been introduced by Rajee...
# Data and Scripts for "Machine learning the electronic structure of matter across temperatures" Th...
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"...
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experimen...
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric ti...
Timed automata (TAs) are an efficient formalism to model and verify systems with hard timing constra...
Data for "Exemplifying parametric timed specifications over signals with bounded behavior" See READ...
We present here IMITATOR II, a new version of IMITATOR, a tool implementing the “inverse method” for...
We present here Imitator II, a new version of Imitator, a tool implementing the "inverse method" for...
This is the author (and extended) version of the manuscript of the same name published in the procee...
Contains fulltext : 176091.pdf (preprint version ) (Open Access
This is the artifact for the paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" ...
Contains fulltext : 29872.pdf (publisher's version ) (Open Access)RU, 11 december ...
this paper appeared in ICALP'99: Proceedings of the 26th International Colloquium on Automata, ...
Contains fulltext : 93532.pdf (publisher's version ) (Closed access) ...
Invited contribution at FORMATS'22International audienceTimed automata have been introduced by Rajee...
# Data and Scripts for "Machine learning the electronic structure of matter across temperatures" Th...
DOI
Add to ORKG